Method and system for High Speed and Low Memory Footprint Static Timing Analysis

ABSTRACT

The invention provides a method and system for performing Static Timing Analysis on SoC (System on a Chip) designs. The invention solves a longstanding problem with timing analysis of designs, namely, the ability to multi-thread the design under analysis. The invention provides for slicing a design into levels, further decomposing each level into gates, and the multi-threaded processing of gates so that the solution of large design analysis is generated significantly faster than current approaches. Further, the invention provides that only one level exists in the RAM at any time. Once the arrival time on the level is computed, the data is saved to disk immediately. Because the memory footprint is sub-linear to the size of the design, entire system-on-a chip designs may be nm on inexpensive, off-the-shelf hardware.

RELATED APPLICATIONS

This application claims priority from U.S. provisional application 60/931,367 of the same title, filed May 22, 2007, the entirety of which is incorporated by reference as if fully set forth herein.

GOVERNMENT FUNDING

N/A

FIELD OF USE

The invention relates to statistical timing analysis, and more particularly to timing analysis of large designs, including “System on-a-Chip” (SoC) designs.

BACKGROUND

A digital circuit can be represented as a set of interconnected logic gates. Static Timing Analysis (STA) is a method of computing the expected timing of a digital circuit without requiring expensive simulation. To perform static timing analysis, the arrival time at all the primary inputs are first annotated. Then the arrival time is propagated forward by adding delays along the interconnects and gates. This process continues until all primary outputs are reached.

In current approaches, data generated during the arrival time propagation is all stored in the computer's random-access memory (RAM). The application's memory footprint is proportional to the size of the design. For modern system-on-a-chip (SoC) designs, traditional static timing analysis requires on the order of 30 GB (gigabytes) or more of memory. Owing to the memory needed, the hardware requirement can be prohibitively expensive. What is needed is a method and system for static timing analysis that operates using substantially less than 30 GB, even when the design is a SoC design.

Moreover, current approaches to static timing analysis process or execute only one thread at a time (FIG. 1A). Single threaded execution—executing a single thread at a time—makes, as current trend favors larger designs, for a correspondingly lengthy analysis time. Those of average skill in the relevant art are familiar with “gate” as a unit of design, and “thread” as a unit of execution.

Commencing with design input 11, all gates are levelized into a single sequential order 13. Beginning at a first gate 15, the gate is processed 17 and the analysis then proceeds to the next gate 19, until the last gate is reached 20 and the design analysis is done 21. It can be appreciated, then, that data flow requires significant RAM, as all the data for the entire design ins in RAM, all associated calculations—the results of the analysis—must all be accommodated in RAM.

What is needed is a method of performing static timing analysis such that the amount of required RAM does not increase as the size of the design under analysis increases. Further, what is needed is a faster approach to design analysis, including static timing analysis.

SUMMARY OF THE INVENTION

The invention satisfies at least all of the above-mentioned unmet needs. The invention provides a means to multi-thread the design under analysis, enabling high speed static timing analysis with a low memory footprint.

A system according to the invention, as sketched in FIG. 2A, includes an input means for a design under analysis 23, a master central processing unit or CPU 25 and a plurality of dependent CPUs 27, where each dependent CPU is connected to a Master CPU 25, a quantity of RAM (random access memory) 31 and output to a disk storage medium or Disk 33.

The invention provides uniquely effective implementation of inexpensive disk storage, random access memory (RAM) and a plurality of “off the shelf” CPUs (i.e. execution units). The invention provides a means for faster performance of timing analysis with reduced hardware expense.

The invention provides a method including partitioning the design under analysis into a set of levels. A level may be understood as a set of gates not interdependent either before or after each other; and gates are sent from the master CPU to additional CPUs for solution. In the preferred embodiment, each gate, is sent to one of a plurality of dependent CPUs for solution, such that which CPU is solving a given gate is and the solution of a given gate is independent of other gates. The plurality of dependent CPUs send the gate solutions to the Master CPU, which in turn, saves the solutions set for the level, and sends the level solution from random access memory (RAM) to a storage medium, such as a disk, for storage. Solution of the next level then commences, and the process is repeated until the entire set of levels comprising the design has been solved.

It can be appreciated by those of skill in the art that by partitioning the design into levels, less memory is required for the analysis of the design. Further cutting levels into gates, and the multi threading of the gate computation, provides a faster solution of the design as a whole. Thus the inventive method and system require less memory and less time to perform STA on large designs.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1A depicts prior art method of design analysis.

FIG. 2A depicts a system according to the invention.

FIG. 2B depicts data flow view according to the invention.

FIG. 2 C depicts an example of a structural view according to the inventions.

FIG. 3 is a block diagram of an embodiment of the inventive method.

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENT

The inventive method and system can be further appreciated and understood by means of the figures accompanying the specification.

The invention provides a method of multi-threading analysis of a digital circuit design, said method including partitioning the design under analysis into a set of levels. A level may be understood as a set of gates not interdependent either before or after each other. From the master CPU, gates are sent to for solution to additional CPUs. The gates or tasks are solved independently, and the master CPU receives solutions from the dependent CPUs. When the entire level has been solved, the master CPU saves the solutions set for the level, and sends the level solution from random access memory (RAM) to a disk for storage. Solution of the next level then commences, and the process is repeated until the entire set of levels comprising the design has been solved.

Referring to FIG. 2A, a system according to the invention includes an input means for a design under analysis, a master CPU (central processing unit) and a plurality of dependent CPUs connected to the master CPU, a quantity of RAM (random access memory) and output to a storage medium. In the preferred embodiment, the dependent CPUs are multicore microprocessors. For designs of 40 million gates, four CPUs may be sufficient to achieve process time of less than one hour. Those of skill in the relevant arts can appreciate the significant improvement afforded by the invention taught herein, as current approaches typically require many hours to run a static timing analysis (STA) on a 40 million gate design.

Again referring to FIG. 2A, a system according to the invention includes an input means for a design under analysis (User) 23, a master CPU 25 and a plurality of dependent CPUs 27, where each dependent CPU is connected to a Master CPU 25, a quantity of RAM (random access memory) 31 and output to a disk storage medium or Disk 33.

According to traditional data flow, all data required for design analysis is completely loaded from disk into physical memory. It is only after all data is in RAM (physical memory) that the CPU commences to perform analysis on the design under analysis. Sufficient RAM must exist to accommodate not only the data required for the design under analysis, but also all the results of the analysis. When the entire design analysis is completed, the results are sent from the RAM/CPU to a storage device. This approach requires sufficient RAM to contain the entire design as a whole as well as all the computed results. The larger the design, the more RAM required, and the cost increases as the amount of RAM required increases.

Referring to the example of five gates depicted in FIG. 2C, the traditional approach provides that all data is loaded into physical memory during analysis. Thus, gate 0, gate 1, gate 2, gate 3, gate 4, gate n are all loaded into RAM, even though gate 3 can only be computed after g0 and g1 are finished.

Referring now to FIG. 2B depicting data flow according to an embodiment of the inventions, illustrates the manner in which threads work independently of each other with minimal synchronization, depending on the queue status (i.e. the job queue and result queue).

A pre-fetch thread 1000 loads data from disk 100 and saves the prepared data into a Job Queue. The term “job” as used herein, means all the data needed to perform gate computations in a particular level. For each job, the execution threads 2000 compute the arrival time, transition time, and crosstalk for all gates in the level. The computation results are saved to the Result Queue 3000.

It is important to note that at such time as a job is deposited to the Job Queue 1050 the pre fetch thread 1000 can immediately load the data for the next level, and so on until all the levels of the design under analysis have been deposited as jobs in the Job

Queue. The prefetch thread does not need to wait for the execution threads (see 2000) to consume the job, i.e pull from 1000 and send to 3000. In this manner, the pre-fetch thread 1000 works independently of the execution threads 2000.

Moreover, the execution threads can proceed with the next job in the Job Queue without waiting for the results to be physically saved to disk. A Save thread 3000 removes each job from the Result Queue and saves each job to disk. When all the gate computations for every level have been completed, and saved to disk, the design analysis is complete. It can be appreciated that the data flow of the inventive embodiment is significantly faster than single threaded or even currently employed so-called multithreaded approaches. In addition embodiments according to the invention use significantly smaller memory footprints than currently employed approaches.

To further appreciate the inventive approach, it is useful to consider the inventive approach to levelization of a design under analysis. Referring now to FIG. 2C in which a five gate structure is depicted. In the levelization the inventive approach differs from current practice. Those of average skill in the relevant art understand “levelization” to mean a traversal assigning a level to each gate such that if a gate B is at the fanout cone of gate A, then the level of A is smaller than the level of B.

In current approaches, levelization of the structure in FIG. 2C would yield:

Ex: Prior Art Levelization

g0 g1 g2 g3 g4 Level 1 Level 2 Level 3 Level 4 Level 5 However, according to the invention, levelization accomplishes “maximum packing” such that where there is no dependency, the level is reduced as much as possible. The labels L1, L2 and L3 depict the concept of “maximum packing” so the levels yield:

Ex: Maximum Packing Levelization

g0 g1 g2 g3 g4 Level 1 Level 2 Level 1 Level 3 Level 3

Note that in the example, g2 can be reduced from level 3 to level 1, g3 reduced from level 4 to level 3, and g4 can be reduce from level 5 to level 3. One of skill in the relevant art further appreciates that a variety of mathematical approaches may be taken to analyze a design so as to cut it into levels, and accomplish maximum packing. Any of these are intended to be included if performed in embodiments of the invention described herein.

Referring now to FIG. 3, the method according to the invention comprises the steps of: inputting design 35, partitioning the design into levels and analyzing for crosstalk 37; beginning process first level 39; decompose level into gates 41; retrieve data from Job Queue 43 including data necessary to compute crosstalk; send gates to CPUs 45; save output of gate computation 47 to Results Queue 48; advance to next level 49; determine if last level 50; if not the last, return to next level and repeat steps 41 through 50; when last level completed, then process is complete 52.

Current methods require sufficient memory to accommodate the entire design (i.e. all the gates) as well as the computations for all the gates. In embodiments according to the invention, as a consequence of partitioning the design and through levelization techniques such as maximum packing, it is only necessary to accommodate a sub set of the design in memory at any time, and in the preferred embodiment, only one level of the design at any time. Therefore the memory required is a function of the size of the largest level, not the size of the design. Further, as a practical matter, packing heuristic determines level size and it has been empirically determined that the desired level size is a level comprised of several hundred gates. For a SoC design where the system uses multicore CPUs, a level of about 500 gates realizes best performance speed. The level size optimization my vary depending on hardware, and levelization algorithm employed.

It can be appreciated by those of skill in the art that by cutting the design into levels, less memory is required to analyze and store the design. Further cutting levels into gates provides a faster solution. Thus the inventive method and system require less memory and less time to perform STA on large designs. In the preferred embodiment, a level generally is comprised of several hundred gates, ensuring that the level is neither to large or too small for optimal STA performance.

The inventive method and system taught herein can provide crosstalk analysis on a design under analysis. Crosstalk complicates a timing analysis of a design because crosstalk creates an even greater number of dependencies. The inventive approach is effective in performing crosstalk analysis. In the preferred embodiment, because retrieval of stored data is required in a crosstalk analysis, a preliminary analysis informs and directs a storage protocol whereby later needed data is rapidly retrieved from disk storage.

The preliminary analysis analyzes the design topology to determine how to save gates, in light of dependencies, so as to render the saved data amenable to rapid retrieval.

In a further embodiment, where it is desirable to vary parameters, the data design input can branch out and run simultaneously on the hardware as described hereinabove. This obviates sequential running of the design multiple times, and provides faster results. This is especially useful for multi-corner multi-mode analysis.

In a system and method according to the preferred embodiment, only one level exists in the RAM at any time. Once the arrival time on the level is computed, the data is saved to disk immediately. Accordingly, the inventive method is extremely efficient in use of available RAM. Because the memory footprint is sub-linear to the size of the design, entire system-on-a chip (SoC) designs may be run on inexpensive, off-the-shelf hardware. Designs of, for example, 50 million gates, can be accommodated according to the inventions, as well as larger designs owing to the scalability of the invention.

Moreover, owing to the inventive decomposition of the design into levels, and further decomposition into gates and the multiple processing of gates, the solution of large design analysis is generated significantly faster than current approaches. 

1. A method for performing static timing analysis on a circuit design under analysis (design), said method comprising the steps of: partitioning, by means of a master CPU, said design into a plurality of levels; commencing with a first level, decomposing said first level into a first set of gates where such decomposition includes preparing and storing data associated with said first level in a job queue; engaging multiple CPUs connected to the master CPU to process a first set of multiple execution threads where said execution threads represent solutions to the first set of gates, including retrieving data from said job queue, and processing solutions to the first set of gates comprising said first level; saving said solutions for the set of gates comprising said first level in results queue; transferring solutions for the set of gates comprising said first level from results queue to storage medium; and repeating, commencing decomposition of a second level, and performing the subsequent steps. until all levels have been processed, and the design analysis is complete.
 2. The method as in claim 1 wherein, before the first set of execution threads have been pulled from the job queue by the multiple CPUs, decomposition of at least a second level has commenced and been stored in said job queue.
 3. The method as in claim 1 wherein, a second set of execution threads for a second level commences processing, without requiring the data from the first level to remain in the results queue.
 4. The method as in claim 1 wherein the step of partitioning said design into levels includes selecting a level size that is optimized for rapid processing, and ensuring levelization is performed with maximum packing.
 5. An improved system for multi-threading Static Timing Analysis of a design under analysis, where with RAM and a plurality of CPUs processing said design and storage disk, and where said design has been levelized, said improvement comprising: a designated master CPU connected to RAM, and dependent CPUs connected to said master CPU, such that during processing, analyzing and storing design level data, where the RAM only need accommodate data for one level at a time, as execution threads processed by multiple CPUs dependent upon a Master CPU, said master CPU communicating results to RAM, and RAM sending level data to storage disk upon completion, so design analysis is rapid and the RAM footprint does not increase as design size increases.
 6. The system as in claim 5 wherein the dependent CPUs are multi-core processors, operating so as to provide independent multi-thread processing of said design. 